Highly Compact (4F2) and Well Behaved Nano-Pillar Transistor Controlled Resistive Switching Cell for Neuromorphic System Application

Highly Compact (4F2) and Well Behaved Nano-Pillar Transistor Controlled Resistive Switching Cell for Neuromorphic System Application

To simplify the architecture of a neuromorphic system, it is extremely desirable to develop synaptic cells with the capacity of low operation power, high density integration, and well controlled synaptic behaviors. In this study, we develop a resistive switching device (ReRAM)-based synaptic cell, fabricated by the CMOS compatible nano-fabrication technology. The developed synaptic cell consist...

Compact Modeling Solutions for Oxide-Based Resistive Switching Memories (OxRAM)

Emerging non-volatile memories based on resistive switching mechanisms attract intense R&D efforts from both academia and industry. Oxide-based Resistive Random Acces Memories (OxRAM) gather noteworthy performances, such as fast write/read speed, low power and high endurance outperforming therefore conventional Flash memories. To fully explore new design concepts such as distributed memory in l...

Neuromorphic System Design and Application

Towards Well-behaved Semantics Suitable for Aggregation towards Well-behaved Semantics Suitable for Aggregation

Real Applications of Databases ask for the support of Ag-gregation. This, however, needs stronger semantics than usual. In particular , such semantics should extend the wellfounded semantics WFS. We study such extensions and determine which semantics are possible given certain abstract properties like partial evaluation, cumulativity, partial monotony and supraclassicality. While WFS + (introdu...

Well Behaved Transition Systems

The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem. We show coverability decidable for monotone transition systems that only require the absence of infinite antichains and call well behaved transitio...